FTRTFT'98 : formal techniques in real-time and fault-tolerant systems (Lyngby, 114-18 September 1998)Ravn, Anders P; Rischel, Hans.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-65003-2, VIII, 338 p, isbn 3-540-65003-2Conference Proceedings

Dynamical properties of timed automataPURI, A.Lecture notes in computer science. 1998, pp 210-227, issn 0302-9743, isbn 3-540-65003-2Conference Paper

On the need for practical formal methodsHEITMEYER, C.Lecture notes in computer science. 1998, pp 18-26, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Predictability in critical systemsLE LANN, G.Lecture notes in computer science. 1998, pp 315-338, issn 0302-9743, isbn 3-540-65003-2Conference Paper

The ICOS synthesis environmentLÜTH, K.Lecture notes in computer science. 1998, pp 294-297, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Formal verification of stabilizing systemsSIEGEL, M.Lecture notes in computer science. 1998, pp 158-172, issn 0302-9743, isbn 3-540-65003-2Conference Paper

A general framework for the composition of timed systems : Extended abstractSIFAKIS, J.Lecture notes in computer science. 1998, pp 27-28, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Challenges in the utilization of formal methodsKNIGHT, J. C.Lecture notes in computer science. 1998, pp 1-17, issn 0302-9743, isbn 3-540-65003-2Conference Paper

A practical and complete algorithm for testing real-time systemsCARDELL-OLIVER, R; GLOVER, T.Lecture notes in computer science. 1998, pp 251-261, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Discrete-time Promela and SpinBOSNACKI, D; DAMS, A. D.Lecture notes in computer science. 1998, pp 307-310, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Duration Calculus in the specification of safety requirementsVELOUDIS, S; NISSANKE, N.Lecture notes in computer science. 1998, pp 103-112, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Towards a formal semantics of verilog using duration calculusSCHNEIDER, G; QIWEN XU.Lecture notes in computer science. 1998, pp 282-293, issn 0302-9743, isbn 3-540-65003-2Conference Paper

On checking parallel real-time systems for linear duration propertiesZHAO JIANHUA; DANG VAN HUNG.Lecture notes in computer science. 1998, pp 241-250, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Mechanical verification of clock synchronization algorithmsSCHWIER, D; VON HENKE, F.Lecture notes in computer science. 1998, pp 262-271, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Compiling graphical real-time specifications into siliconFRÄNZLE, M; LÜTH, K.Lecture notes in computer science. 1998, pp 272-281, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Integrating real-time structured design and formal techniquesPRIDDIN, D; BURNS, A.Lecture notes in computer science. 1998, pp 92-102, issn 0302-9743, isbn 3-540-65003-2Conference Paper

MOBY/PLC : Graphical development of PLC-automataTAPKEN, J; DIERKS, H.Lecture notes in computer science. 1998, pp 311-314, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Synchronizing clocked transition systemsPOEL, M; ZWIERS, J.Lecture notes in computer science. 1998, pp 173-185, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Duration calculus of weakly monotonic timePANDYA, P. K; DANG VAN HUNG.Lecture notes in computer science. 1998, pp 55-64, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Fair synchronous transition systems and their liveness proofsPNUELI, A; SHANKAR, N; SINGERMAN, E et al.Lecture notes in computer science. 1998, pp 198-209, issn 0302-9743, isbn 3-540-65003-2Conference Paper

SGLOT : A visual tool for structural LOTOS specificationsMARRERO, M; SUAREZ, A; CARRION, E et al.Lecture notes in computer science. 1998, pp 303-306, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Automated stream-based analysis of fault-toleranceSTOLLER, S. D; SCHNEIDER, F. B.Lecture notes in computer science. 1998, pp 113-122, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Designing a provably correct robt control system using a 'lean' formal methodCAU, A; CZARNECKI, C; ZEDAN, H et al.Lecture notes in computer science. 1998, pp 123-132, issn 0302-9743, isbn 3-540-65003-2Conference Paper

A finite-domain semantics for testing temporal logic specificationsCOEN-PORISINI, A; PRADELLA, M; SAN PIETRO, P et al.Lecture notes in computer science. 1998, pp 41-54, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Reuse in requirements engineering : Discovery and application of a real-time requirement patternGOTZHEIN, R; KRONENBURG, M; PEPER, C et al.Lecture notes in computer science. 1998, pp 65-74, issn 0302-9743, isbn 3-540-65003-2Conference Paper